2 results
Tadeusz Kotarbiński. Introduction. Notes on the development of formal logic in Poland in the years 1900–39. Polish logic 1920–1939, edited by Storrs McCall. The Clarendon Press, Oxford1967, pp. 1–14. - Jan Łukasiewicz. On the notion of possibility. English translation of the first half of 1864 by H. Hiż. Polish logic 1920–1939, edited by Storrs McCall. The Clarendon Press, Oxford1967, pp. 15–16. - Jan Łukasiewicz. On three-valued logic. English translation of the second half of 1864 by H. Hiż. Polish logic 1920–1939, edited by Storrs McCall. The Clarendon Press, Oxford1967, pp. 16–18. - Jan Łukasiewicz. On determinism. English translation of XXXIII 130 by Z. Jordan. Polish logic 1920–1939, edited by Storrs McCall. The Clarendon Press, Oxford1967, pp. 19–39. - Jan Łukasiewicz. Philosophical remarks on many-valued systems of propositional logic. English translation of 1868 by H. Weber. Polish logic 1920–1939, edited by Storrs McCall. The Clarendon Press, Oxford1967, pp. 40–65. - Jan Łukasiewicz. On the history of the logic of propositions. English translation of 18613 by S. McCall. Polish logic 1920–1939, edited by Storrs McCall. The Clarendon Press, Oxford1967, pp. 66–87. - Jan Łukasiewicz. The equivalential calculus. English translation of VI115 by P. Woodruff. Polish logic 1920–1939, edited by Storrs McCall. The Clarendon Press, Oxford1967, pp. 88–115. - Stanisław Leśniewski. Introductory remarks to the continuation of my article: ‘Grundzüge eines neuen Systems der Grundlagen der Mathematik.’ English translation of V 83 by W. Teichmann and S. McCall. Polish logic 1920–1939, edited by Storrs McCall. The Clarendon Press, Oxford1967, pp. 116–169. - Stanisław Leśniewski. On definitions in the so-called theory of deduction. English translation of 20213 by E. C. Luschei. Polish logic 1920–1939, edited by Storrs McCall. The Clarendon Press, Oxford1967, pp. 170–187. - Bolesław Sobociński. Successive simplifications of the axiom-system of Leiniewski's ontology. English translation of 4432 by Z. Jordan. Polish logic 1920–1939, edited by Storrs McCall. The Clarendon Press, Oxford1967, pp. 188–200.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 442-446
- Print publication:
- September 1970
-
- Article
- Export citation
On the scope of the classical deduction theorem
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 77-81
- Print publication:
- 26 April 1968
-
- Article
- Export citation